bitkeeper revision 1.1236.32.8 (4237887fr1Mo71Tp0RoJHmt875tSBg)
authormafetter@fleming.research <mafetter@fleming.research>
Wed, 16 Mar 2005 01:14:39 +0000 (01:14 +0000)
committermafetter@fleming.research <mafetter@fleming.research>
Wed, 16 Mar 2005 01:14:39 +0000 (01:14 +0000)
commit443ed1a174f135c7ffe2cad4af3cfd3e04c0123a
treeeb029b958dfc1ad26288118fcfd0f796577d348b
parentd1847f63dffed221a877ec4467c200abd39fee63
bitkeeper revision 1.1236.32.8 (4237887fr1Mo71Tp0RoJHmt875tSBg)

Added extra shadow_sync_mfn() in do_update_va_mapping to deal
with a shortcoming of the checking code in _check_pagetable.
Better to have a few more flushes and checking code that can
still be used.  It would be even better to have smarter checking
code, but that will take more time.

Signed-off-by: michael.fetterman@cl.cam.ac.uk
xen/arch/x86/mm.c
xen/include/xen/perfc_defn.h